Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
151	The Mathematical Structure of Quantum Reality February 2, 2006 Roderich Tumulka Mathematisches Institut, Eberhard-Karls-Universit¨at, T¨ubingen, Germany Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2007-08-08 15:17:24
152	Equideductive Logic and CCCs with Subspaces Paul Taylor Domains Workshop IX U of Sussex, Tuesday, 23 September 2008 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:19 Mathematical logic Model theory Structure Universal algebra Homotopy theory Generalised Whitehead product Sigma-algebra
153	Reasoning about Independence in Probabilistic Models of Relational Data Marc Maier Katerina Marazopoulou Add to Reading List Source URL: www.statslab.cam.ac.uk Language: English - Date: 2013-07-03 13:11:37 Statistical models Mathematics Mathematical logic Logic Abstraction Graphical models Bayesian network Networks Relational model Database Structure Graph
154	On the Common Structure of Bohmian Mechanics and the Ghirardi–Rimini–Weber Theory arXiv:quant-ph/0603027v4 4 Jun 2007 Valia Allori∗, Sheldon Goldstein†, Roderich Tumulka‡, and Nino Zangh`ı§ Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 06:22:47 Physics Quantum measurement Interpretations of quantum mechanics Quantum mechanics Quantum states GhirardiRiminiWeber theory De BroglieBohm theory Wave function Hidden variable theory Mathematical formulation of quantum mechanics Quantum non-equilibrium Introduction to quantum mechanics
155	Microsoft Word - 26-Guerler.doc Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2009-11-08 23:13:12 Bioinformatics Biology Protein methods Protein structure Structural biology Computational phylogenetics Mathematical and theoretical biology STING BLAST Structural alignment Protein contact map Protein family
156	Rewriting Guarded Negation Queries Vince B´ar´any? , Michael Benedikt, and Balder ten Cate ?? 2 1 LogicBlox Inc., Atlanta, GA Department of Computer Science, University of Oxford Add to Reading List Source URL: developer.logicblox.com Language: English - Date: 2013-10-18 17:50:36 Logic Abstraction Mathematics Model theory Mathematical logic Craig interpolation First-order logic Conjunctive query Beth definability Substitution Interpretation Structure
157	September 20, :13 WSPC - Proceedings Trim Size: 9.75in x 6.5in Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2008-01-07 20:52:37 Bioinformatics Biology Mathematical and theoretical biology Protein structure prediction Sequence alignment Threading Homology modeling RAPTOR Gap penalty CASP BLAST PSIPRED
158	114 Genome Informatics 16(2): 114–Comparison of Protein Structures by Multi-Objective Optimization Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2005-12-28 06:18:58 Bioinformatics Operations research Computational phylogenetics Protein structure Mathematical optimization Multiple sequence alignment Dynamic programming Docking Linear programming Algorithm
159	Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-08-09 16:46:30 Model theory Formal languages Mathematical logic Structure Universal algebra Interpretation Relational algebra Substitution
160	Information Retrieval A Relational Model of Data for Large Shared Data Banks E. F. CODD Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-12-08 10:06:26 Mathematics Logic Mathematical logic Model theory Relational model Binary relation Structure First-order logic Finitary relation Relation Path ordering Relational algebra